/*
 * Copyright 2010  One Laptop per Child
 */

void updater_copy_to_ram(void);
void updater(int which_updater);

/* ec[ECFV] values passed to updater() to choose update protocol */
#define ENTER_UPDATE_SDI    0x10
#define ENTER_UPDATE_SERIAL 0x11
